[IA64] Clear pending event when vcpu boots
authorAlex Williamson <alex.williamson@hp.com>
Mon, 7 May 2007 19:14:27 +0000 (13:14 -0600)
committerAlex Williamson <alex.williamson@hp.com>
Mon, 7 May 2007 19:14:27 +0000 (13:14 -0600)
commitb1fe884d1861f6c4bcaa726fce1266b92284f1d6
tree96b6526a671c71d0173b3c035d66263bd385f7ba
parent3a55ba03107d296269bc0bd63b1c93ea3a62f41f
[IA64] Clear pending event when vcpu boots

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
xen/arch/ia64/xen/vcpu.c